<meta http-equiv="content-type" content="text/html; charset=UTF-8" />

<?php
	$id   =$_GET['id'];
	$new=$_GET['new'];
	$old=$_GET['old'];
	if(!file_exists("/bin/diff2html")) {
		echo "<H1> /bin/diff2html required </h1>";
	}
	#echo "/bin/diff2html data/$old/$id/alljobs data/$new/$id/alljobs";
	#system("/usr/bin/dos2unix data/$old/$id/alljobs");
	#system("/usr/bin/dos2unix data/$new/$id/alljobs");
	system("/bin/diff2html data/$old/$id/alljobs data/$new/$id/alljobs");
?>
